extern void *memcpy(void *, void *, uint_32);
extern uint_32 memset(void *, uint_8, uint_32);
